Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert
(Saarbrücken : Dagstuhl Publishing, 2016)
We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free function variables in first-order formulae. ...